(0 16 10)(1 17 3)(2 15 13)(4 14 11)(5 8 6)(7 12 9)
ALLOWS (11/8)-SEQUENCE
1: (7 12 17)
(0 16 10)(1 17 9 7 3)(2 15 13)(4 14 11)(5 8 6)(12)
2: (4 14 11)
(0 16 10)(1 17 9 7 3)(2 15 13)(4)(5 8 6)(11)(12)(14)
3: (2 15 13)
(0 16 10)(1 17 9 7 3)(2)(4)(5 8 6)(11)(12)(13)(14)(15)
4: (1 7 3)
(0 16 10)(1)(2)(3)(4)(5 8 6)(7 17 9)(11)(12)(13)(14)(15)